随机近似算法是迭代过程，用于在目标未知且直接观察结果被噪声损坏的环境中近似目标值。例如，当目标函数或模型不直接知道时，这些算法对于根找到和最小化是有用的。最初是在Robbins和Monro的1951年论文中引入的，随机近似领域已大大增长，并影响了从自适应信号处理到人工智能的应用领域。例如，在机器学习的各个子域中无处不在的随机梯度下降算法是基于随机近似理论。在本文中，我们为由于Aryeh dvoretzky的一般融合定理提供了正式的证明（在COQ证明助手中），这意味着重要的经典方法（例如Robbins-Monro和Kiefer-Wolfowitz算法）的收敛性。在此过程中，我们构建了一个综合的量子库库理论概率理论和随机过程。
translated by 谷歌翻译